Définition pour : Harvey C.
Pour plus de détails, voir le paragraphe 30.4 du Vernimmen 2021.